# backups
*~
\#*\#
.\#*

# editors
.emacs*

# haskell
*.hi
*.o
*.dyn_hi
*.dyn_o

# binaries
t
test
colors

# agda
*.agdai
MAlonzo/
